Quantifying Eventual Consistency with PBS

Data replication results in a fundamental trade-off between operation latency and consistency. At the weak end of the spectrum of possible consistency models is eventual consistency, which provides no limit to the staleness of data returned. However, anecdotally, eventual consistency is often “good enough ” for practitioners given its latency and availability benefits. In this work, we explain this phenomenon and demonstrate that, despite their weak guarantees, eventually consistent systems regularly return consistent data while providing lower latency than their strongly consistent counterparts. To quantify the behavior of eventually consistent stores, we introduce Probabilistically Bounded Staleness (PBS), a consistency model that provides expected bounds on data staleness with respect to both versions and wall clock time. We derive a closed-form solution for version-based staleness and model real-time staleness for a large class of quorum replicated, Dynamo-style stores. Using PBS, we measure the trade-off between latency and consistency for partial, non-overlapping quorum systems under Internet production workloads. We quantitatively demonstrate how and why eventually consistent systems frequently return consistent data within tens of milliseconds while offering large latency benefits. 1

Proof of a conjecture of Polya on the zeros of successive derivatives of real entire functions

We prove Polya's conjecture of 1943: For a real entire function of order greater than 2, with finitely many non-real zeros, the number of non-real zeros of the n-th derivative tends to infinity with n. We use the saddle point method and potential theory, combined with the theory of analytic functions with positive imaginary part in the upper half-plane.Comment: 26 page

Explicit kinetic heterogeneity: mechanistic models for interpretation of labeling data of heterogeneous cell populations

Estimation of division and death rates of lymphocytes in different conditions is vital for quantitative understanding of the immune system. Deuterium, in the form of deuterated glucose or heavy water, can be used to measure rates of proliferation and death of lymphocytes in vivo. Inferring these rates from labeling and delabeling curves has been subject to considerable debate with different groups suggesting different mathematical models for that purpose. We show that the three models that are most commonly used are in fact mathematically identical and differ only in their interpretation of the estimated parameters. By extending these previous models, we here propose a more mechanistic approach for the analysis of data from deuterium labeling experiments. We construct a model of "kinetic heterogeneity" in which the total cell population consists of many sub-populations with different rates of cell turnover. In this model, for a given distribution of the rates of turnover, the predicted fraction of labeled DNA accumulated and lost can be calculated. Our model reproduces several previously made experimental observations, such as a negative correlation between the length of the labeling period and the rate at which labeled DNA is lost after label cessation. We demonstrate the reliability of the new explicit kinetic heterogeneity model by applying it to artificially generated datasets, and illustrate its usefulness by fitting experimental data. In contrast to previous models, the explicit kinetic heterogeneity model 1) provides a mechanistic way of interpreting labeling data; 2) allows for a non-exponential loss of labeled cells during delabeling, and 3) can be used to describe data with variable labeling length

Agri-Environmental Policy at the Crossroads: Guideposts on a Changing Landscape

Agri-environmental policy is at a crossroads. Over the past 20 years, a wide range of policies addressing the environmental implications of agricultural production have been implemented at the Federal level. Those policies have played an important role in reducing soil erosion, protecting and restoring wetlands, and creating wildlife habitat. However, emerging agri-environmental issues, evolution of farm income support policies, and limits imposed by trade agreements may point toward a rethinking of agri-environmental policy. This report identifies the types of policy tools available and the design features that have improved the effectiveness of current programs. It provides an indepth analysis of one policy tool that may be an important component of a future policy package-agri-environmental payments. The analysis focuses on issues and tradeoffs that policymakers would face in designing a program of agri-environmental payments.conservation programs, environmental policy, agricultural policy, policy instruments, agricultural program design, soil erosion, nitrogen runoff, Environmental Economics and Policy,